Using the HAZOP procedure to assess a steam boiler safety system at a university hospital located in Brazil

A Steam - Boiler Control

Using HyTech to Synthesize Control Parameters for a Steam Boiler

We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we de ne and verify a controller that maintains the safe operation of the boiler. The less abstract model permits the design of a more e cient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize con...

Simulation of a Steam-Boiler

In this paper, we describe the implementation and usage of a simulation with graphical visualization for a steam-boiler [Abri94]. The simulation imitates the behaviour of the steam-boiler and can be controlled using a simple ASCII protocol. It reacts to defined commands and sends information about its state every five seconds. Furthermore, we describe the options available, the protocol which f...

An Action System Approach to the Steam Boiler Problem

from linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar

chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...